Graphic User Interface Design / Query processing / Data Model / Moving Object Recognition / Cost Function / Database System / Data Type / Database System / Data Type
Model Checking / Theoretical Computer Science / Mathematical Sciences / Second Order / Type System / Game semantics / Observational Equivalence / Programming language / Data Type / Game semantics / Observational Equivalence / Programming language / Data Type
Modal Logic / Component-Based Software Engineering (CBSE) / Formal Specification / Formal language / System Development / Component Based Software Engineering / theory and Analysis of architecture / Feature Integration / Temporal Logic / Abstract Data Type / Data Type / Component Based Software Engineering / theory and Analysis of architecture / Feature Integration / Temporal Logic / Abstract Data Type / Data Type
Software Engineering / Object Oriented Programming / Component-Based Software Engineering (CBSE) / Data Modeling / System Design / Computer Software / Data Structures / System Development / Component Based Software Engineering / Data transfer / Data Model / Design and Development / Software Systems / Complex Structure / Systems Architecture / Data Type / Technology Mapping / Generic model / Computer Software / Data Structures / System Development / Component Based Software Engineering / Data transfer / Data Model / Design and Development / Software Systems / Complex Structure / Systems Architecture / Data Type / Technology Mapping / Generic model
Class Diagram / Enterprise System / Data Model / Boolean Satisfiability / Data Type / Information System / Consistency Checking / Information System / Consistency Checking
Information Systems / Library and Information Studies / Multimedia Systems / Video Retrieval / Real Time / Theoretical Framework / Boolean Satisfiability / Data Type / Multimedia Data / Theoretical Framework / Boolean Satisfiability / Data Type / Multimedia Data
